JSExplain: a double debugger for JavaScript

We present JSExplain, a reference interpreter for JavaScript that closely follows the specification and that produces execution traces. These traces may be interactively investigated in a browser, with an interface that displays not only the code and the state of the interpreter, but also the code and the state of the interpreted program. Conditional breakpoints may be expressed with respect to both the interpreter and the interpreted program. In that respect, JSExplain is a double-debugger for the specification of JavaScript

Population-calibrated Multiple Imputation for a Binary/categorical Covariate in Categorical Regression Models

Multiple imputation (MI) has become popular for analyses with missing data in medical research. The standard implementation of MI is based on the assumption of data being missing at random (MAR). However, for missing data generated by missing not at random mechanisms, MI performed assuming MAR might not be satisfactory. For an incomplete variable in a given data set, its corresponding population marginal distribution might also be available in an external data source. We show how this information can be readily utilised in the imputation model to calibrate inference to the population by incorporating an appropriately calculated offset termed the "calibrated-δ adjustment." We describe the derivation of this offset from the population distribution of the incomplete variable and show how, in applications, it can be used to closely (and often exactly) match the post-imputation distribution to the population level. Through analytic and simulation studies, we show that our proposed calibrated-δ adjustment MI method can give the same inference as standard MI when data are MAR, and can produce more accurate inference under two general missing not at random missingness mechanisms. The method is used to impute missing ethnicity data in a type 2 diabetes prevalence case study using UK primary care electronic health records, where it results in scientifically relevant changes in inference for non-White ethnic groups compared with standard MI. Calibrated-δ adjustment MI represents a pragmatic approach for utilising available population-level information in a sensitivity analysis to explore potential departures from the MAR assumption

Taking connected mobile-health diagnostics of infectious diseases to the field.

Mobile Health or mHealth - The application of mobile devices, their components and related technologies to healthcare is improving patients’ access to treatment and advice. Now, in combination with connected diagnostic devices it offers new possibilities to diagnose, track and control infectious diseases and improve health system efficiencies. In this context we look at these technologies and highlight their promise but also the challenges in realising their potential to increase patient access to testing, aid in their treatment and improve the capability of public health authorities to monitor outbreaks, implement responses, and assess the impact of interventions across the world

Steam reforming on transition-metal carbides from density-functional theory

A screening study of the steam reforming reaction (CH_4 + H_2O -> CO + 3H_2) on early transition-metal carbides (TMC's) is performed by means of density-functional theory calculations. The set of considered surfaces includes the alpha-Mo_2C(100) surfaces, the low-index (111) and (100) surfaces of TiC, VC, and delta-MoC, and the oxygenated alpha-Mo_2C(100) and TMC(111) surfaces. It is found that carbides provide a wide spectrum of reactivities towards the steam reforming reaction, from too reactive via suitable to too inert. The reactivity is discussed in terms of the electronic structure of the clean surfaces. Two surfaces, the delta-MoC(100) and the oxygen passivated alpha-Mo_2C(100) surfaces, are identified as promising steam reforming catalysts. These findings suggest that carbides provide a playground for reactivity tuning, comparable to the one for pure metals.Comment: 6 pages, 4 figure

Protective effects of exogenous and endogenous hydrogen sulfide in mast cell-mediated pruritus and cutaneous acute inflammation in mice.

Published onlineJournal ArticleThis is the author accepted manuscript. The final version is available from Elsevier via the DOI in this record.The recently described 'gasomediator' hydrogen sulfide (H2S) has been involved in pain mechanisms, but its effect on pruritus, a sensory modality that similarly to pain acts as a protective mechanism, is poorly known and controversial. The effects of the slow-releasing (GYY4137) and spontaneous H2S donors (Na2S and Lawesson's reagent, LR) were evaluated in histamine and compound 48/80 (C48/80)-dependent dorsal skin pruritus and inflammation in male BALB/c mice. Animals were intradermally (i.d.) injected with C48/80 (3μg/site) or histamine (1μmol/site) alone or co-injected with Na2S, LR or GYY4137 (within the 0.3-100nmol range). The involvement of endogenous H2S and KATP channel-dependent mechanism were also evaluated. Pruritus was assessed by the number of scratching bouts, whilst skin inflammation was evaluated by the extravascular accumulation of intravenously injected (125)I-albumin (plasma extravasation) and myeloperoxidase (MPO) activity (neutrophil recruitment). Histamine or C48/80 significantly evoked itching behavior paralleled by plasma extravasation and increased MPO activity. Na2S and LR significantly ameliorated histamine or C48/80-induced pruritus and inflammation, although these effects were less pronounced or absent with GYY4137. Inhibition of endogenous H2S synthesis exacerbated C48/80-induced responses, whereas the blockade of KATP channels by glibenclamide did not. High-performance liquid chromatography coupled to tandem mass spectrometry (HPLC-MS/MS) revealed that Na2S and LR, but not GYY4137, significantly attenuated C48/80-induced histamine release from rat peritoneal mast cell in vitro. We provide first evidences that H2S exerted protective effect against acute pruritus mediated via histaminergic pathways in murine skin, thus making of H2S donors a potential alternative/complementary therapy for treatment of acute pruritus.Sao Paulo Research Foundation (Fapesp grant numbers: 2013/04.151-3, 2014/15.576-8, 2014/24.518-1) and CNPq (grant number: 163278/2012-1). GDN, MNM and SKPC are recipients of fellowships from the National Council for Scientific and Technological Development (CNPq). We thank Irene M Gouvea, Flávia B de Lira and Mauro Sucupira for their techinical support

Theory of Star Formation

We review current understanding of star formation, outlining an overall theoretical framework and the observations that motivate it. A conception of star formation has emerged in which turbulence plays a dual role, both creating overdensities to initiate gravitational contraction or collapse, and countering the effects of gravity in these overdense regions. The key dynamical processes involved in star formation -- turbulence, magnetic fields, and self-gravity -- are highly nonlinear and multidimensional. Physical arguments are used to identify and explain the features and scalings involved in star formation, and results from numerical simulations are used to quantify these effects. We divide star formation into large-scale and small-scale regimes and review each in turn. Large scales range from galaxies to giant molecular clouds (GMCs) and their substructures. Important problems include how GMCs form and evolve, what determines the star formation rate (SFR), and what determines the initial mass function (IMF). Small scales range from dense cores to the protostellar systems they beget. We discuss formation of both low- and high-mass stars, including ongoing accretion. The development of winds and outflows is increasingly well understood, as are the mechanisms governing angular momentum transport in disks. Although outstanding questions remain, the framework is now in place to build a comprehensive theory of star formation that will be tested by the next generation of telescopes.Comment: 120 pages, to appear in ARAA. No changes from v1 text; permission statement adde

Criminal Justice Reform as HIV and TB Prevention in African Prisons

Katherine Todrys and Joseph Amon argue for criminal justice system reforms in sub-Saharan Africa to reduce HIV and TB transmission in prisons and to guarantee detainees' human rights and health

The Interplay Between Molecular and Ionised Gas Surrounding the Massive Embedded Star AFGL 4176

In order to investigate whether the feedback produced by photo-ionisation has an important effect on the geometry of the circumstellar dust and gas around forming massive stars, we have observed the luminous southern embedded star AFGL 4176 in transitions of NH3 and the hydrogen recombination line H68α. We present our preliminary results, which show a compact Hii region embedded in a parsec-scale (radius ∼ 0.7 pc) rotating envelope/torus. In addition, the Hii region is found to be offset from the centre of the envelope, and the velocity gradient in the ionised gas is not aligned with the rotation axis of the envelope, suggesting complex dynamics and multiplicity

Prevalence of Disorders Recorded in Dogs Attending Primary-Care Veterinary Practices in England

Purebred dog health is thought to be compromised by an increasing occurence of inherited diseases but inadequate prevalence data on common disorders have hampered efforts to prioritise health reforms. Analysis of primary veterinary practice clinical data has been proposed for reliable estimation of disorder prevalence in dogs. Electronic patient record (EPR) data were collected on 148,741 dogs attending 93 clinics across central and south-eastern England. Analysis in detail of a random sample of EPRs relating to 3,884 dogs from 89 clinics identified the most frequently recorded disorders as otitis externa (prevalence 10.2%, 95% CI: 9.1-11.3), periodontal disease (9.3%, 95% CI: 8.3-10.3) and anal sac impaction (7.1%, 95% CI: 6.1-8.1). Using syndromic classification, the most prevalent body location affected was the head-and-neck (32.8%, 95% CI: 30.7-34.9), the most prevalent organ system affected was the integument (36.3%, 95% CI: 33.9-38.6) and the most prevalent pathophysiologic process diagnosed was inflammation (32.1%, 95% CI: 29.8-34.3). Among the twenty most-frequently recorded disorders, purebred dogs had a significantly higher prevalence compared with crossbreds for three: otitis externa (P = 0.001), obesity (P = 0.006) and skin mass lesion (P = 0.033), and popular breeds differed significantly from each other in their prevalence for five: periodontal disease (P = 0.002), overgrown nails (P = 0.004), degenerative joint disease (P = 0.005), obesity (P = 0.001) and lipoma (P = 0.003). These results fill a crucial data gap in disorder prevalence information and assist with disorder prioritisation. The results suggest that, for maximal impact, breeding reforms should target commonly-diagnosed complex disorders that are amenable to genetic improvement and should place special focus on at-risk breeds. Future studies evaluating disorder severity and duration will augment the usefulness of the disorder prevalence information reported herein